Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
821	OctoberReport No. STAN-CSProgramming and Proving with Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-03 21:37:12 Programming paradigms Logic in computer science Programming language semantics Abstraction Data management Functional programming Lisp Operational semantics Continuation Software engineering Computer programming Computing
822	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
823	Journal of Artificial Intelligence Research–567 Submitted 09/08; publishedAn Anytime Algorithm for Optimal Coalition Structure Generation Talal Rahwan Add to Reading List Source URL: jair.org Language: English - Date: 2009-04-21 14:18:39 Applied mathematics Numerical analysis Search algorithms Combinatorial optimization Algorithm Mathematical logic Genetic algorithm Dynamic programming Anytime algorithm Mathematical optimization Operations research Mathematics
824	Parallelization of Genetic Operations that Takes Building-Block Linkage into Account Yuji Sato, Hazuki Inoue, Mikiko Sato+ Graduate School of Computer and Information Sciences, Hosei University, 3-7-2 Kajino-cho, Koga Add to Reading List Source URL: www.genetic-programming.org Language: English* - Date: 2013-06-23 23:45:34 Recreational mathematics Theoretical computer science NP-complete problems Sudoku Genetic algorithm Backtracking Crossover Parallel computing Sudoku algorithms Mathematics Logic puzzles Search algorithms
825	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
826	ACSL Version 1.8 Implementation in Neon ACSL: ANSI/ISO C Specication Language Version 1.8 Neon Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:15 Data types Pointer C Predicate Logic programming Pascal Dangling pointer Software engineering Computing Computer programming
827	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Maximal Covering by Two Isothetic Unit Squares Priya Ranjan Sinha Mahapatra ∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:05:31 Proof theory Diophantine approximation Dynamic programming Earley parser Euclidean algorithm Mathematics Mathematical analysis Mathematical logic
828	Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK Roderick Chapman1 and Florian Schanda2 1 2 Add to Reading List Source URL: proteancode.com Language: English - Date: 2014-10-28 11:02:53 Formal methods Logic in computer science Ada programming language Automated theorem proving SPARK Formal verification Isabelle Proof assistant Static program analysis Theoretical computer science Computing Applied mathematics
829	Simply Logical Ð Chapter 8 p.171-3 © Peter Flach, 2000 ☞ Given a background theory Th (clauses) Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:22 Automated theorem proving Logic programming Unification Function Mathematics Functions and mappings Mathematical logic
830	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:55 Computer programming Denotational semantics Object-oriented design Type safety Actor model Method overriding Object Type system Modal logic Software engineering Computing Object-oriented programming

UPDATE